Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
421	Algebraic Persistence the algebra of persistence modules Mikael Vejdemo-Johansson Primoz Skraba School of Computer Science Add to Reading List Source URL: icms.org.uk Language: English - Date: 2012-07-11 07:17:02
422	SCMF: Sparse Covariance Matrix Factorization for Collaborative Filtering Jianping Shi† Naiyan Wang‡ Yang Xia† Dit-Yan Yeung‡ Irwin King† Jiaya Jia† Department of Computer Science and Engineering, The Chinese Add to Reading List Source URL: shijianping.me Language: English - Date: 2013-04-24 04:04:56 Algebra Statistics Mathematics Linear algebra Matrix theory Covariance and correlation Probability distributions Stable distributions Covariance Kalman filter Non-negative matrix factorization Normal distribution
423	Simulation of Gate Circuits in the Algebra of Transients Janusz Brzozowski and Mihaela Gheorghiu School of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1 {brzozo,mgheorgh}@uwaterloo.ca Add to Reading List Source URL: maveric.uwaterloo.ca Language: English - Date: 2003-07-23 21:00:16
424	A Timing Attack against RSA with the Chinese Remainder Theorem Werner Schindler Bundesamt f¨ ur Sicherheit in der Informationstechnik (BSI) Godesberger Allee 183, 53175 Bonn, Germany Add to Reading List Source URL: tls.mbed.org Language: English Abstract algebra Algebra Mathematics Modular arithmetic Computer arithmetic Binary operations E-commerce RSA Modular exponentiation Montgomery modular multiplication Vienna U-Bahn Modulo operation
425	European Conference on Computer Vision (ECCV), 2012 V1-Inspired Features Induce a Weighted Margin in SVMs Hilton Bristow1,2 and Simon Lucey2 2 Add to Reading List Source URL: ci2cv.net Language: English - Date: 2015-06-06 01:21:07 Algebra Mathematics Linear filters Linear algebra Image processing Signal processing Numerical linear algebra Support vector machine Gabor filter Filter bank Filter Edge detection
426	From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition Kurt Mehlhorn Max Planck Institute for Informatics, Saarbr¨ucken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-01-23 04:38:43 Mathematics Algebra Polynomials Computer algebra Root-finding algorithms Factorization of polynomials Factorization Splitting circle method Polynomial Resultant Multiplicity Factorial
427	Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-10-03 11:09:09 Software engineering Computer programming Programming language theory Linear algebra Software design patterns Matrix theory Trace Program slicing Monad Substitution FO ALGOL 68
428	Essence of Geometric Algebra Kenichi Kanatani Professor Emeritus, Okayama University, Japan Introduction We introduce “geometric algebra”, which recently has been attracting attention of many computer vision and grap Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2014-09-26 01:25:28
429	An Algebra for Deriving Efficient Implementations for an Array Processor Parallel Computer from Functional Specifications Technical Report 1995/Jun.SF.AS.MC.JMB Stephen Fitzpatrick1, A. Stewart, M. Clint, J. M. Boyle2y Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2002-06-11 17:30:48
430	On the Virtue of Succinct Proofs: Amplifying Communication Complexity Hardness to Time-Space Trade-offs in Proof Complexity [Extended Abstract] Trinh Huynh Add to Reading List Source URL: www.complexity.ethz.ch Language: English - Date: 2012-03-28 07:53:42 Theoretical computer science Computational complexity theory Mathematics Automated theorem proving Logic in computer science Rules of inference Resolution Proof complexity Conflict-Driven Clause Learning Boolean algebra Exponential time hypothesis PP

UPDATE